منابع مشابه
Amb Breaks Well-Pointedness, Ground Amb Doesn't
McCarthy’s amb operator has no known denotational semantics, and its basic operational properties the context lemma, the compatibility of refinement similarity and convex bisimilarity have long been open. In this paper, we give a single example program that demonstrates the failure of each of these properties. This shows that there cannot be any well-pointed denotational semantics. However, we ...
متن کاملActive Magnetic Bearings (amb)
A magnetic bearing is a bearing which supports a load using magnetic levitation. Magnetic bearings support moving machinery without physical contact, for example, they can levitate a rotating shaft and permit relative motion without friction or wear. In active magnetic bearings (AMB) a stable equilibrium is achieved by means of one or more control loops. The use of control loop for maintaining ...
متن کاملInteraction Nets with McCarthy's amb
Interaction nets are graphical rewrite systems which have been successfully used to implement various efficient evaluation strategies in the λ-calculus (including optimal reduction). However, they are intrinsically deterministic and this prevents from applying these techniques to concurrent languages where non-determinism plays a key rôle. In this paper we show that a minimal extension — the ad...
متن کاملDod/amb: in Vivo Activity of a Novel Amb Formulation with Synthetic Cationic Bilayer Fragments
The ability of the versatile dioctadecyldimethylammonium bromide (DODAB), a bilayer-forming synthetic lipid previously shown to solubilize Amphotericin B (AMB), inspired this evaluation of in vivo activity of the DODAB/AMB formulation (DOD/AMB) against systemic candidiasis in a mouse model from survival and tissue burden experiments. AMB was simply added to a DODAB powder dispersion in water pr...
متن کاملMultidisciplinary Rehabilitation of the Mental Retard
The ligislation, social reforms and extensive research programmes hi the Twent ie th Century have benefitted the mentally retarded population. Prior to this, the mentally retarded were institutionalised and received only custodial care. As research progressed, the living conditions for the mentally retarded improved and the concept of the multifaceted approach to the problem of the mental retar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publicacions Matemàtiques
سال: 1976
ISSN: 0214-1493
DOI: 10.5565/publmat_02176_04